Detection of Infeasible Paths in Software Testing using UML Application to Gold Vending Machine
نویسنده
چکیده
Software testing is an integral part of the software development cycle. Software testing involves designing a set of test cases. In white box testing, test cases are usually designed based using path testing. The basis path testing approach involves generation of test cases from a set of independent paths. Each test case is forced to execute a certain test path of the control flow graph. Some cases might arise paths of the control flow graph have no test data to force execution. These paths are infeasible paths. Identification and removal of infeasible paths earlier will reduce testing efforts and cost. In the present work, we used Unified Modeling Language (UML) for detecting of these infeasible paths. For detection of these infeasible paths, the author builds the control flow graph from sequence diagram and then generated independent paths from it. Each path is converted into a set of a linear equation and solved. If there is an inconsistent solution, then the corresponding path is infeasible. The presented approach is evaluated on a case study of an automatic gold vending machine.
منابع مشابه
Using Program Slicing Technique to Reduce the Cost of Software Testing
Systems of computers and their application in the lives of modern human beings are vastly expanding. In any kind of computer application, failure in computer systems can lead to a range of financial and mortal losses. Indeed, the major origin of software failure can be located in designing or implementing software. With regard to these statistics, 30% of the software projects have been prospero...
متن کاملSecure State UML: Modeling and Testing Security Concerns of Software Systems Using UML State Machines
In this research we present a technique by using which, extended UML models can be converted to standard UML models so that existing MBT techniques can be applied directly on these models. Existing Model Based Testing (MBT) Techniques cannot be directly applied to extended UML models due to the difference of modeling notation and new model elements. Verification of these models is also very imp...
متن کاملSecure State UML: Modeling and Testing Security Concerns of Software Systems Using UML State Machines S. Batool and S. Asghar Institute of Information Technology, University of Arid and Agriculture Rawalpindi, Pakistan
In this research we present a technique by using which, extended UML models can be converted to standard UML models so that existing MBT techniques can be applied directly on these models. Existing Model Based Testing (MBT) Techniques cannot be directly applied to extended UML models due to the difference of modeling notation and new model elements. Verification of these models is also very imp...
متن کاملAutomatic detection of infeasible paths in software testing
A challenging problem in path-oriented test data generation is the presence of infeasible paths. Timely detecting these infeasible paths cannot only save test resources but also improve test efficiency. A popular method of detecting infeasible paths is to determine branch correlations, which is a difficult task and usually cannot be done timely and exactly. In this study, the authors propose a ...
متن کاملHeuristic Approach of Automated Test Data Generation For Programs Having Array Of Different Dimensions and Loops With Variable Number Of Iteration
In software testing, loops are important spot for error detection. Execution of program spend large amount of time in loops. Without covering paths going through loops we can not get better code coverage. Most of the mistakes are made in loops of programs. Infinite loop creates lots of problem in detecting the errors. In fact, it is impossible to detect all kinds of infinite looping automatical...
متن کامل